Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Finite State Machines
Statecharts, Visual Programming, State Transitions, Temporal Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27773
posts in
13.7
ms
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
12h
🔧
Hardware Verification
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
6h
·
Discuss:
Hacker News
🧬
Functional Programming
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
2h
🔧
Hardware Verification
Localising
Stochasticity
in Weighted Automata
arxiv.org
·
1d
🎯
Automata theory
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
Grammar-Constrained (
CFL
) Reachability:
Subcubic
Preprocessing, Indexing Trade-offs, and Structured Decoding Semantics
arxiv.org
·
1d
🌳
Context free grammars
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
7h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
Differential
Logic
• 15
inquiryintoinquiry.com
·
11h
⚔️
Lean Theorem
The Windows 95 User
Interface
: A Case Study in
Usability
Engineering
dl.acm.org
·
2d
·
Discuss:
Hacker News
📟
Terminal Typography
Make A
Choice
,
Tiger
hackernoon.com
·
10h
🎯
Interactive Provers
Show HN: An
Auditable
Decision Engine for AI Systems
maelstrom.ghostlogic.tech
·
3h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Stack
Player –
Automatic
Stack
Game Playing Machine
hackster.io
·
20h
⚡
Homebrew CPUs
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
An
Introduction
to
Lean
4
uv.es
·
2d
⚔️
Lean Tactics
Structured
Outputs
for LLMs
ternarysearch.blogspot.com
·
22h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🌳
Context free grammars
Beyond
Pandas
:
Architecting
High-Performance Python Pipelines
hackernoon.com
·
8h
🌊
Stream Processing
Fenwick
layout for
interval
trees
purplesyringa.moe
·
1d
·
Discuss:
r/coding
📐
Interval Trees
A language
designed
for
machines
to write
negroniventurestudios.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Visually secure
steganography
scheme for color images based on Trans-CS network, Cantor and
4D-TSCNN
sciencedirect.com
·
1d
🕵️
Steganographic Compression
LLM Edge Predictive Maintenance — AI Agents for Industrial
Vibration
Diagnostics
lgdimaggio.github.io
·
7h
·
Discuss:
Hacker News
📊
Homelab Monitoring
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help